package testing;


import junit.framework.Assert;
import logicaDePredicados.LogicQuantifier;

import org.junit.Before;
import org.junit.Test;

public class QuantifierTest {

	@Before
	public void setUp() throws Exception {
		
	}
	@Test
	public void testCase (){
		LogicQuantifier existe= null;
		LogicQuantifier paraTodo= null;
		Assert.assertNull(existe);
		Assert.assertNull(paraTodo);
		existe=new LogicQuantifier(true);
		paraTodo=new LogicQuantifier(false);
		System.out.println("paraTodo.isEssential()" +paraTodo.isEssential());
		System.out.println("paraTodo.isExistencial()" +paraTodo.isExistencial());
		
		Assert.assertNotNull(paraTodo);
		Assert.assertNotNull(existe);
		Assert.assertEquals("ForAll", paraTodo.getName());
		Assert.assertEquals("Exists",existe.getName());
		Assert.assertEquals(false, paraTodo.isExistencial());
		Assert.assertEquals(true, paraTodo.isEssential());
		Assert.assertEquals(false, existe.isEssential());
		Assert.assertEquals(true, existe.isExistencial());
		
		
	}

}

